New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix new error with attr in pull request check workflow #569

Merged

sbrunner merged 1 commit into master from fix-attr

Mar 16, 2023

Member

sbrunner commented Mar 16, 2023

No description provided.

sbrunner added the chore label

sbrunner force-pushed the fix-attr branch from 84e6870 to 1f609a1 Compare

March 16, 2023 16:33


          Fix new error with attr in pull request check workflow

fb996ba

sbrunner force-pushed the fix-attr branch from 1f609a1 to fb996ba Compare

March 16, 2023 17:36

sbrunner merged commit 3cf8d90 into master

sbrunner deleted the fix-attr branch

March 16, 2023 19:19

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore